An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet

The problem of designing intelligent agents for information search and recognition on the Internet is considered. A new approach to the object-oriented logic programming of Internet agents is introduced. The problem of ensuring the correct inference in conditions of permanent modification of information content on the Internet is considered. An unconventional technique for the formalization of modifiable reasoning on the Internet is described. The tools for logic programming of Internet agents based on this technique are considered. Received April 20, 2001